Java Pathfinder - PDFSEARCH.IO - Document Search Engine

Java Pathfinder
Results: 36

#	Item
31	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:13 Software engineering Software quality Program analysis Software bug Java Pathfinder Static program analysis Model checking Debugging Verification and validation Software development Formal methods Software testing
32	Verify Your Runs Klaus Havelund and Allen Goldberg Kestrel Technology, Palo Alto, California, USA http://www.kestreltechnology.com 1 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:25 Applied mathematics Temporal logic Software development Runtime verification Formal verification Model checking Abstract state machines Interval temporal logic Java Pathfinder Formal methods Theoretical computer science Logic in computer science
33	Curriculum Vitae Dr. Klaus Havelund Ph.D in Computer Science Senior Research Scientist (SRS) at NASA’s Jet Propulsion Laboratory California Institute of Technology (Caltech) Email: [removed] Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-16 09:55:49 Software engineering Runtime verification Formal verification Prototype Verification System Verification and validation Software development process Actor model Denotational semantics Java Pathfinder Formal methods Theoretical computer science Computing
34	Feedback-directed Random Test Generation Carlos Pacheco1 , Shuvendu K. Lahiri2 , Michael D. Ernst1 , and Thomas Ball2 1 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-07-14 08:38:52 Quality control Test Data Generation Java Pathfinder Code coverage Concolic testing Unit testing Algorithm Test data Hash function Software testing Software development Software quality
35	PDF Document Add to Reading List Source URL: history.arc.nasa.gov Language: English - Date: 2012-07-24 12:04:50 Mountain View California Ames Research Center Java Pathfinder Universities Space Research Association NASA Advanced Supercomputing Division Space Shuttle Deep Space 1 NAS Parallel Benchmarks NASA Spaceflight Space technology Research Institute for Advanced Computer Science
36	PDF Document Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2005-03-01 18:37:16 Software Model checking KeY Java Pathfinder Symbolic execution Exception handling Test automation Mutation testing Java Software testing Computing Software engineering